[nom] Normalisation d'une expression logique qui est une conjonction de clauses.
Trouvé sur
https://fr.wiktionary.org/wiki/forme_normale_conjonctive
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstratio...
Trouvé sur
https://fr.wikipedia.org/wiki/Forme_normale_conjonctive
Aucun résultat n’a été trouvé dans l’encyclopédie.
